Design Templates for Collective Behavior
نویسندگان
چکیده
While sequential behavior of single objects is fairly well understood, orchestrating the collective behavior emerging from the behaviors of individual objects continues to be a challenging task. This is especially true for distributed reactive systems. The joint action paradigm is a design methodology that concentrates on the collective behavior of objects. Aspects of collective behavior are gradually introduced in a controlled manner in a specification. This paper presents how such aspects can be archived as generic templates, and instantiated in such a way that formal properties verified for a template become properties of its application. Both design and verification effort are reused when a template is applied.
منابع مشابه
قالب جزء محدود پوسته استوانه ای
Curls and curves of a shell interweave its various strain modes and link them together. This interactional behavior has yet frustrated all attempts for the construction of shell templates, which needs for an individual element test in traditional approaches. Such a test fails to work for shell elements and must be reconstructed. In this paper, it is tried to study shell interactional behavior a...
متن کاملA planning framework for post-disaster collective shelters
Background and objective: Accommodation of the victims is necessary immediately after the accident to maintain order and reduce mental, psychological and physical crises, as well as providing better services to the victims of the accident. The experience of the AQ-Qala flood and the temporary accommodation of the victims in sports venues has made the need for the design of a collective shelter ...
متن کاملUpper Bounds for Robustness of CNN Templates and a Design Approach for Robust Templates
Abstruct — CNNS constitute a class of spatially discrete, nonlinear dynamic systems. Once the inputs and the states are initialized, the dynamic of a CNN is determined by a set of parameters, so-called templates. We investigate issues concerning the dynamic behavior of a CNN due to variations in template values. In particular, we derive, based on the output invariance at the equilibrium, upper ...
متن کاملDeveloping students' health by promoting attachment to place in school design: based on the archetype scheme
One of the most important challenges facing education is to develop students' health and create a sense of attachment to the educational environment in them, which will lead to an increase in the quality of education and training. Architecture as a container of human behavior has a great impact on this matter. The organs of the building and the relationships that govern them are effective in th...
متن کاملThe Role of Socio-Economic Factors in Establishing Collective Behavior of the Youth in Boshehr(Based on Smelser' s Structural Theory)
This research attempts to examine the role of Socio-economic factors in establishing collective behavior of the youth in Boshehr based on Smelser' s structural theory. Smelser in one of the most well-known sociologists in collective behavior studies who explains these behaviors in the framework of social structuralism. This research conducted on survey method. 383 persons selected through syst...
متن کامل